Nuprl Lemma : quot_ring_wf
13,42
postcript
pdf
r
:CRng,
a
:Ideal(
r
){i},
d
:detach_fun(|
r
|;
a
).
r
/
d
CRng
latex
Up
rings
1
Definitions of Statement
r
/
d
origin
r:CRng, a:Ideal(r){i}, d:detach_fun(|r|;a). r / d 
CRng r:CRng, a:Ideal(r){i}, d:detach_fun(|r|;a). r / d CRng